compact implies sequentially compact